<?php $pagetitle=" | Modularity for Modeling and Solving" ?>

<?php include 'htmlhead.php'; ?>

<BODY>
 <DIV id="container">
  <?php include 'header.php'; ?>
  <DIV id="main">
   <?php include 'sidebar.php'; ?>
   <DIV id="content">
    <DIV class="section">
     <H2> Modularity For Modeling And Solving In Declarative Programming </H2>
     <P align="justify">
      Declarative programming serves as the computational paradigm 
      in qualitative knowledge representation. However, while modularity 
      has long been recognized as one of the key techniques in software 
      development, the research on modular declarative programming 
      formalisms is at an early stage. We are interested in advancing 
      understanding of fundamental issues of declarative programming for 
      modeling and reasoning with multi-logics, formalisms for modular
      and multi-context knowledge representation, and integrating diverse
      languages and reasoning tools tailored for problems in large-scale 
      applications in modular knowledge representation settings are the 
      overarching objectives of our project.
     </P>
    </DIV>
   </DIV>
  </DIV>
  <?php include 'footer.php'; ?>
 </DIV>
</BODY>
